(init_filelock): New function.

diff --git a/src/filelock.c b/src/filelock.c
index 429036f33057829f98169f2c8d6fe0407d789bb6..3e34514fef8c72fa3376a999cb680aadea81441c 100644 (file)
--- a/src/filelock.c
+++ b/src/filelock.c
@@ -680,6 +680,12 @@ t if it is locked by you, else a string of the name of the locker.")
 \f
 /* Initialization functions.  */
 
+void
+init_filelock ()
+{
+  boot_time = 0;
+}
+
 void
 syms_of_filelock ()
 {